Bounded pointer